| Definitions | Y, A || B,  , {T}, SQType(T), Top,   x,y,z,w,v. t(x;y;z;w;v), x,y,z,u,v,w. t(x;y;z;u;v;w), x,y,z. t(x;y;z), x,y,z,w. t(x;y;z;w), True, if b then t else f fi , tt, ff, x. t(x), Rplus?(x1),  b, R-size(R), i  j , False,  A, A  B, t  T, A c B, P   Q,  x:A. B(x),  , Rnone?(x1), Rplus-right(x1), Rplus-left(x1), P  Q, P & Q, R-Feasible(R), x(s1,s2,s3,s4,s5), x(a,b,c,d,e,f), x(s1,s2,s3), x(s1,s2,s3,s4), x(s), Unit, Realizer, P  Q, Dec(P),  ,  , Rrframe(loc;x;L), Rbframe(loc;k;L), Raframe(loc;k;L), Rpre(loc;ds;a;p;P), Rsends(ds;knd;T;l;dt;g), Reffect(loc;ds;knd;T;x;f), Rsframe(lnk;tag;L), Rframe(loc;T;x;L), Rinit(loc;T;x;v), left  right, Rnone(),  |
